Function point - PDFSEARCH.IO - Document Search Engine

Function point
Results: 779

#	Item
21	Abstract Interpretation, Reloaded Jan Midtgaard Winter School, Day 3 http://janmidtgaard.dk/aiws15/ Saint Petersburg, Russia, 2015 Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-04 08:44:50 Mathematics Order theory Algebra Abstract algebra Abstract interpretation Galois connection Fixed-point theorem Fixed point FO Complete lattice Lattice Monotonic function
22	QuickChecking Static Analysis Properties Jan Midtgaard and Anders Møller Abstract Interpretation Winter School From forthcoming ICST’15 paper Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-06 02:29:00 Mathematics Mathematical analysis Order theory Structure Lattice theory Complete lattice Lattice Abstract interpretation Monotonic function Fixed point QuickCheck KnasterTarski theorem
23	Ann Inst Stat Math:905–928 DOIs10463z Summary statistics for inhomogeneous marked point processes O. Cronie · M. N. M. van Lieshout Add to Reading List Source URL: www.ism.ac.jp Language: English - Date: 2016-08-02 06:58:14 Covariance and correlation Probability theory Stochastic processes Data Mathematical analysis Spatial data analysis Signal processing Stationary process Correlation function Van Lieshout Correlation and dependence Point process
24 $On quadrature methods for refractory point process likelihoods Gonzalo Mena and Liam Paninski Statistics Department and Grossman Center for the Statistics of Mind Columbia University July 2, 2014$	On quadrature methods for refractory point process likelihoods Gonzalo Mena and Liam Paninski Statistics Department and Grossman Center for the Statistics of Mind Columbia University July 2, 2014 Add to Reading List Source URL: www.stat.columbia.edu Language: English - Date: 2014-07-02 20:20:52 Estimation theory Numerical integration Mathematical analysis Statistics Statistical theory Numerical analysis M-estimators Maximum likelihood estimation Likelihood function Integral Logarithm Quadrature
25	Problem Solving, Programming, and Calculation Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-12 17:46:16 Software engineering Computer programming Computing Recursion Lambda calculus Computability theory Theoretical computer science Programming idioms Functional programming Function Subroutine Fixed-point combinator
26	1 Doc. Math. J. DMV The Minimum Principle from a Hamiltonian Point of View Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2014-07-15 07:19:55 Mathematical analysis Several complex variables Complex analysis Plurisubharmonic function Stein manifold Holomorphic function Subharmonic function Beltrami equation Equivariant cohomology
27	Quantifying Software Process Improvement C. Verhoef Free University of Amsterdam, Department of Mathematics and Computer Science, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2005-09-13 00:40:44 Software metrics Project management Software engineering Analysis Statistics Metrics Reliability engineering Outlier Function point Software development Source lines of code Costbenefit analysis
28	OSA’s Computation Optical Sensing and Imaging (COSIUCSD Photonics Platform motion blur image restoration system Stephen Olivas1, Michal Šorel2, Nima Nikzad3 & Prof. Joseph Ford1 1Electrical Add to Reading List Source URL: psilab.ucsd.edu Language: English - Date: 2013-08-19 15:29:41 Optics Position sensitive device Electromagnetic radiation Motion blur Photonics Deblurring Point spread function Science of photography Electromagnetism
29	MSM3P22/MSM4P22 Further Complex Variable Theory & General Topology Course notes - Handout 10 Jos´e A. Ca˜ nizo November 30, 2012 Add to Reading List Source URL: canizo.org Language: English - Date: 2015-01-23 17:42:14 Topology Mathematics General topology Connected space Topological space Open set Continuous function Locally connected space Particular point topology
30	CHARACTERIZATION OF FUNCTIONS REPRESENTING TOPOGRAPHIC SURFACES Gert W. WOLF Department of Geography, University of Klagenfurt Universitaetsstrasse 65, A-9010 Klagenfurt, Austria Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-29 21:43:23 Mathematical analysis Calculus Mathematics Multivariable calculus Smooth functions Singularity theory Differential calculus Critical point Hessian matrix Morse theory Derivative Differentiable function